@$i$: only members of $L$ read $x$($j$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(IdDeq)($j$,$i$)$\rightarrow$ only members of $L$ read $x$ else  fi